Revision: tlacontrib--algernon--1.2--patch-3
Archive: algernon@bonehunter.rulez.org--hacks
Creator: Gergely Nagy <algernon@bonehunter.rulez.org>
Date: Thu Jan 29 09:54:54 CET 2004
Standard-date: 2004-01-29 08:54:54 GMT
Modified-files: tla-archive-locate
New-patches: algernon@bonehunter.rulez.org--hacks/tlacontrib--algernon--1.2--patch-3
Summary: Support the ArchiveRegistry at wiki.sourcecontrol.net
Keywords: 

* tla-archive-locate (mirror_wiki): New function, consisting mostly
  from what was once mirror_gnuarch().
  (mirror_gnuarch): Made it a wrapper around mirror_wiki().
  (mirror_scwiki): New function.
